81. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
82. Scale-Space Theory in Computer Vision
پدیدآورنده : by Tony Lindeberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer vision.
84. Structures de données et méthodes formelles /
پدیدآورنده : Marc Guyomard
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science),Formal methods (Computer science)
رده :
QA76
.
9
.
D35
G89
2011eb
85. Targeted learning in data science :
پدیدآورنده : Mark J. van der Laan, Sherri Rose.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine learning.,Mathematical statistics.,Biomedical engineering.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Life sciences: general issues.,Machine learning.,Mathematical statistics.,Mathematics-- Probability & Statistics-- General.,Medical-- Allied Health Services-- Medical Technology.,Medical-- Biostatistics.,Medical-- Public Health.,Probability & statistics.,Public health & preventive medicine.,Science-- Life Sciences-- General.
رده :
Q325
.
5
86. Text, speech, and dialogue :
پدیدآورنده : Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Natural language processing (Computer science), Congresses.,Speech processing systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Natural language processing (Computer science),Speech processing systems.,Text processing (Computer science)
رده :
QA76
.
9
.
N38
87. Theoretical Foundations of Computer Graphics and CAD
پدیدآورنده : edited by Rae A. Earnshaw.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
T385
.
E358
1988
88. Usability :
پدیدآورنده : edited by Judy Hammond, Tom Gross, Janet Wesson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
9
.
H85
E358
2002
89. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
91. 0203931254 (ebook)
پدیدآورنده : edited by Nancy Snow, Philip M. Taylor.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
92. xiv, 237 p. :
پدیدآورنده : Chris Johnson & Jolyon Leslie.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
93. xviii, 5,Intern
پدیدآورنده : Carl F. Goodman. ,Jung Wook Cho.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
